An Isomorphic Mapping for SpecC In UML
نویسندگان
چکیده
An isomorphic UML mapping of SpecC syntax and its semantic preserving transformation is presented. SpecC is one of several competing efforts to deal with the system-level specification and design of embedded systems, and for which we have formalized UML mappings, into what is collectively known as YES-UML. YES-UML is a broadspectrum notation built as a series of extensions to UML to support existing modeling notation. The idea is to use UML as a general modeling language and define isomorphic mappings to existing notations supporting various modeling techniques. YES-UML models are connected via UML implementation technology such as XMI. In this paper we only focus on our isomorphic mapping from SpecC to UML.
منابع مشابه
Extraction of Transformation Rules from UML Diagrams to SpecC
Embedded systems are used in broad fields. They are one of the indispensable and fundamental technologies in a highly informative society in recent years. As embedded systems are large-scale and complicated, it is prosperous to design and develop a system LSI (Large Scale Integration). The structure of the system LSI has been increasing complexity every year. The degree of improvement of its de...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملA Novel EDA flow for SoC Designs based on Specification Capture, Block-clustering and Bus-partitioning
The RTL-to-GDSII tool suites are already being used in order to carry out the logical or register transfer level (RTL) design and synthesis, in tandem with floor planning, placement and routing, to expedite the process of ASIC design production. This paper proposes a novel EDA flow for SoC designs based on the block clustering and bus-partitioning techniques which starts at the design specifica...
متن کاملSpecC Language Reference Manual
The SpecC Language Reference Manual defines the syntax and the semantics of the SpecC language. The SpecC language is defined as extension of the ANSI-C programming language. This document describes the SpecC constructs that were added to the ANSI-C language. For each SpecC construct, its purpose, its syntax, and its semantics are defined. In addition, each SpecC construct is illustrated by an ...
متن کامل